#include <stdlib.h>

extern void *pvPortMalloc( size_t xWantedSize );

extern void vPortFree( void *pv );
